2.2.7 Integrals 601 to 663

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-1) F F(-1) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

584 584 1617 0 0 0 0 0 -1

N.S.

1 1.00 2.77 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.793 8.613 180.000 0.000 0.000 0.000 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-1) F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

522 522 788 0 0 0 0 0 -1

N.S.

1 1.00 1.51 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.765 7.364 180.000 0.000 0.000 0.000 0.000 0.000

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

942 942 528 0 0 0 0 0 -1

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.865 4.670 180.000 0.000 0.000 0.000 0.000 0.000

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F(-2) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

743 743 757 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.603 7.548 180.000 0.000 0.000 0.000 0.000 0.000

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

386 386 642 0 0 0 0 0 -1

N.S.

1 1.00 1.66 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.375 5.222 180.000 0.000 0.000 0.000 0.000 0.000

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

312 312 260 451 411 1039 593 0 -1

N.S.

1 1.00 0.83 1.45 1.32 3.33 1.90 0.00 -0.00

time (sec)

N/A 0.240 0.190 0.642 0.287 0.382 1.995 0.000 0.000

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 187 316 285 611 389 0 -1

N.S.

1 1.00 0.85 1.43 1.29 2.76 1.76 0.00 -0.00

time (sec)

N/A 0.184 0.175 0.647 0.268 0.351 0.756 0.000 0.000

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 125 204 180 321 240 0 -1

N.S.

1 1.00 0.85 1.39 1.22 2.18 1.63 0.00 -0.01

time (sec)

N/A 0.101 0.099 0.645 0.265 0.398 0.356 0.000 0.000

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 71 109 93 134 109 0 -1

N.S.

1 1.00 0.88 1.35 1.15 1.65 1.35 0.00 -0.01

time (sec)

N/A 0.050 0.052 0.598 0.258 0.351 0.150 0.000 0.000

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 30 31 30 43 26 41 28

N.S.

1 1.00 1.00 1.03 1.00 1.43 0.87 1.37 0.93

time (sec)

N/A 0.010 0.007 0.579 0.261 0.379 0.056 0.394 0.244

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

485 485 434 233 0 0 0 0 -1

N.S.

1 1.00 0.89 0.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.587 0.310 11.789 0.000 0.000 0.000 0.000 0.000

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

707 707 622 1766 0 0 0 0 -1

N.S.

1 1.00 0.88 2.50 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.780 1.215 22.507 0.000 0.000 0.000 0.000 0.000

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

559 559 443 752 680 1528 989 0 -1

N.S.

1 1.00 0.79 1.35 1.22 2.73 1.77 0.00 -0.00

time (sec)

N/A 0.629 0.303 2.242 0.292 0.389 1.222 0.000 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 289 438 429 767 595 0 -1

N.S.

1 1.00 0.88 1.33 1.30 2.33 1.81 0.00 -0.00

time (sec)

N/A 0.409 0.235 1.752 0.274 0.409 0.579 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 164 206 222 304 279 0 -1

N.S.

1 1.00 1.07 1.35 1.45 1.99 1.82 0.00 -0.01

time (sec)

N/A 0.204 0.131 0.911 0.272 0.392 0.264 0.000 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 74 72 72 96 82 111 -1

N.S.

1 1.00 1.61 1.57 1.57 2.09 1.78 2.41 -0.02

time (sec)

N/A 0.045 0.043 1.838 0.265 0.373 0.090 0.462 0.000

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

739 739 985 0 0 0 0 0 -1

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.977 0.536 180.000 0.000 0.000 0.000 0.000 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

670 670 444 654 0 0 0 0 -1

N.S.

1 1.00 0.66 0.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.911 0.643 11.072 0.000 0.000 0.000 0.000 0.000

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

388 388 253 380 0 0 0 0 -1

N.S.

1 1.00 0.65 0.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.508 0.360 8.881 0.000 0.000 0.000 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 126 178 0 0 0 0 -1

N.S.

1 1.00 0.70 0.99 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.248 0.161 6.938 0.000 0.000 0.000 0.000 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F A F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

54 54 0 56 0 0 0 0 -1

N.S.

1 1.00 0.00 1.04 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.059 0.018 3.041 0.000 0.000 0.000 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 0.511 180.000 0.000 0.000 0.000 0.000 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.025 2.278 180.000 0.000 0.000 0.000 0.000 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

495 495 356 1036 0 0 0 0 -1

N.S.

1 1.00 0.72 2.09 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.548 1.353 9.452 0.000 0.000 0.000 0.000 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 190 438 0 0 0 0 -1

N.S.

1 1.00 0.77 1.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.289 0.593 7.012 0.000 0.000 0.000 0.000 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 71 118 0 0 0 0 -1

N.S.

1 1.00 0.84 1.39 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.117 0.110 3.171 0.000 0.000 0.000 0.000 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.025 7.661 180.000 0.000 0.000 0.000 0.000 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.024 19.995 180.000 0.000 0.000 0.000 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

672 672 535 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.195 4.168 180.000 0.000 0.000 0.000 0.000 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 319 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.606 1.974 180.000 0.000 0.000 0.000 0.000 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 101 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.164 0.092 0.116 0.000 0.000 0.000 0.000 0.000

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 5.135 180.000 0.000 0.000 0.000 0.000 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 10.911 180.000 0.000 0.000 0.000 0.000 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

427 427 770 0 0 0 0 0 -1

N.S.

1 1.00 1.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.811 2.910 180.000 0.000 0.000 0.000 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 251 0 0 0 0 0 -1

N.S.

1 1.00 1.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.180 0.374 0.111 0.000 0.000 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.044 1.910 180.000 0.000 0.000 0.000 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.049 5.876 180.000 0.000 0.000 0.000 0.000 0.000

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

608 608 530 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.803 0.761 180.000 0.000 0.000 0.000 0.000 0.000

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 218 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.349 0.429 180.000 0.000 0.000 0.000 0.000 0.000

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 101 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.081 0.120 0.000 0.000 0.000 0.000 0.000

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.042 0.105 180.000 0.000 0.000 0.000 0.000 0.000

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 0.054 180.000 0.000 0.000 0.000 0.000 0.000

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

349 349 303 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.443 0.937 180.000 0.000 0.000 0.000 0.000 0.000

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 137 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.161 0.171 0.121 0.000 0.000 0.000 0.000 0.000

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.046 0.107 180.000 0.000 0.000 0.000 0.000 0.000

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.043 0.060 180.000 0.000 0.000 0.000 0.000 0.000

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 3.076 180.000 0.000 0.000 0.000 0.000 0.000

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 2.717 180.000 0.000 0.000 0.000 0.000 0.000

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 75 0 0 329 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 4.70 0.00 0.00 -0.01

time (sec)

N/A 0.077 0.078 180.000 0.000 0.363 0.000 0.000 0.000

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 139 0 0 970 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 6.64 0.00 0.00 -0.01

time (sec)

N/A 0.120 0.223 180.000 0.000 0.429 0.000 0.000 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 191 0 0 2521 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 11.11 0.00 0.00 -0.00

time (sec)

N/A 0.551 0.274 180.000 0.000 0.477 0.000 0.000 0.000

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 8.310 180.000 0.000 0.000 0.000 0.000 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.028 7.630 180.000 0.000 0.000 0.000 0.000 0.000

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 2.127 180.000 0.000 0.000 0.000 0.000 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.030 4.397 180.000 0.000 0.000 0.000 0.000 0.000

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.029 0.726 180.000 0.000 0.000 0.000 0.000 0.000

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 0.738 180.000 0.000 0.000 0.000 0.000 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 1.034 180.000 0.000 0.000 0.000 0.000 0.000

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.033 2.519 180.000 0.000 0.000 0.000 0.000 0.000

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.030 2.941 180.000 0.000 0.000 0.000 0.000 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 4.914 180.000 0.000 0.000 0.000 0.000 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.030 12.501 180.000 0.000 0.000 0.000 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.031 20.573 180.000 0.000 0.000 0.000 0.000 0.000